Rigorous Handling of State Events in matlab

Previous research in the area of modeling and simulation of hybrid systems led to the development of a general hybrid systems modeling language (hsml) that has been described elsewhere. Features of hsml include: hierarchical, modular construction of models from components; consistent yet distinctive definition of continuoustime, discrete-time and logic-based components; prioritized scheduling of discrete-time components; mechanisms for state-event handling; approaches for dealing with vector-field conflicts and changing model order and structure; rigorous type and range checking; and a strict semantic basis that permits extensive checking and validation of the model. This paper describes a first step towards algorithmic implementation of the hsml ideas and language constructs for dealing with state-event handling and vector-field conflicts in continuous-time components. Specifically, the standard matlab model framework and integration algorithms are extended to support these phenomena. An example is presented to show the efficacy of these extensions within the matlab environment.